Coalgebraic Lindström Theorems
نویسندگان
چکیده
We study modal Lindström theorems from a coalgebraic perspective. We provide three different Lindström theorems for coalgebraic logic, one of which is a direct generalisation of de Rijke’s result for Kripke models. Both the other two results are based on the properties of bisimulation invariance, compactness, and a third property: ω-bisimilarity, and expressive closure at level ω, respectively. These also provide new results in the case of Kripke models. Discussing the relation between our work and a recent result by van Benthem, we give an example showing that only requiring bisimulation invariance together with compactness does not suffice to characterise basic modal logic.
منابع مشابه
Coalgebraic Lindströom Theorems
We study modal Lindström theorems from a coalgebraic perspective. We provide three different Lindström theorems for coalgebraic logic, one of which is a direct generalisation of de Rijke’s result for Kripke models. Both the other two results are based on the properties of bisimulation invariance, compactness, and a third property: ω-bisimilarity, and expressive closure at level ω, respectively....
متن کاملCoalgebraic representations of distributive lattices with operators
We present a framework for extending Stone’s representation theorem for distributive lattices to representation theorems for distributive lattices with operators. We proceed by introducing the definition of algebraic theory of operators over distributive lattices. Each such theory induces a functor on the category of distributive lattices such that its algebras are exactly the distributive latt...
متن کاملKATI LINDSTRÖM Delineating Landscape Semiotics: Towards the Semiotic Study of Landscape Processes
متن کامل
Coalgebraic Logic
We present a generalization of modal logic to logical systems which are interpreted on coalgebras of functors on sets. The leading idea is that innnitary modal logic contains characterizing formulas. That is, every model-world pair is characterized up to bisimulation by an innnitary formula. The point of our generalization is to understand this on a deeper level. We do this by studying a frangm...
متن کاملCoalgebraic structure of genetic inheritance.
Although in the broadly defined genetic algebra, multiplication suggests a forward direction of from parents to progeny, when looking from the reverse direction, it also suggests to us a new algebraic structure-coalge- braic structure, which we call genetic coalgebras. It is not the dual coalgebraic structure and can be used in the construction of phylogenetic trees. Math- ematically, to constr...
متن کامل